FDL - Nuprl Definition : causal-weak-predecessor

Nuprl Definition : causal-weak-predecessor

11,40

causal-weak-predecessor(es;p) ==

e:E. (

can-apply(p;e))

do-apply(p;e) c

clarification:

causal-weak-predecessor(es;p)
==

e:es-E(es). (

can-apply(p;e))

es-causle(es;do-apply(p;e);e)

Definitions x:A. B(x), E, P Q, b, can-apply(f;x), e c e', do-apply(f;x)

FDL editor aliases causal-weak-predecessor

Definitions	x:A. B(x), E, P Q, b, can-apply(f;x), e c e', do-apply(f;x)
FDL editor aliases	causal-weak-predecessor